71![Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst](https://www.pdfsearch.io/img/969c6572af404f635aec7bdea5267137.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
72![August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510 August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510](https://www.pdfsearch.io/img/1e16c59081187fb88f7848614e04f651.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-08-15 13:36:42
|
---|
73![Formal Speci
cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Formal Speci
cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger](https://www.pdfsearch.io/img/30a16c2939de92e7f15b5f62dea331cd.jpg) | Add to Reading ListSource URL: staff.washington.eduLanguage: English - Date: 2015-02-13 17:16:24
|
---|
74![Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat](https://www.pdfsearch.io/img/c22863a5f8566570a8a3909fd8d8decf.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
75![CLINICAL NEUTRON THERAPY SYSTEM Control System Speci
cation PART II: User Operations Jonathan Jacky1 Ruedi Risler CLINICAL NEUTRON THERAPY SYSTEM Control System Speci
cation PART II: User Operations Jonathan Jacky1 Ruedi Risler](https://www.pdfsearch.io/img/fbbba65bf03482d16e8245876b5bddf9.jpg) | Add to Reading ListSource URL: staff.washington.eduLanguage: English - Date: 2015-02-13 17:07:43
|
---|
76![c
Copyright 2014 Tom Bergan
Avoiding State-Space Explosion in Multithreaded Programs with c
Copyright 2014 Tom Bergan
Avoiding State-Space Explosion in Multithreaded Programs with](https://www.pdfsearch.io/img/8e6cd663e05858226b694a7881aa10b0.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-03-11 15:06:20
|
---|
77![Practical Semantic Test Simplification Sai Zhang University of Washington
A typical testing workflow Practical Semantic Test Simplification Sai Zhang University of Washington
A typical testing workflow](https://www.pdfsearch.io/img/3acbe8b04c5eec16d1aea408f9f80f05.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
78![Microsoft Word - WASHINGTON-#v1-WMBA_-_TOC_CFTC_Letters.DOC Microsoft Word - WASHINGTON-#v1-WMBA_-_TOC_CFTC_Letters.DOC](https://www.pdfsearch.io/img/4608f45c37b14e50ccd9423171c02554.jpg) | Add to Reading ListSource URL: www.wmbaa.comLanguage: English - Date: 2012-01-31 13:57:28
|
---|
79![The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C](https://www.pdfsearch.io/img/0ab91976f900a66ca118ee0e7c6f82c8.jpg) | Add to Reading ListSource URL: www.plannedparenthoodaction.orgLanguage: English - Date: 2018-06-04 20:30:58
|
---|
80![February 22, 2016 Mr. Christopher Kirkpatrick, Secretary Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C February 22, 2016 Mr. Christopher Kirkpatrick, Secretary Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C](https://www.pdfsearch.io/img/83107d290c5afbb1f0a834c25cd359b8.jpg) | Add to Reading ListSource URL: www.wmbaa.comLanguage: English - Date: 2016-06-07 13:27:02
|
---|